53.12. In the case referred to in the first paragraph of section 33.1, the adjusted pensionable salary attached to pensionable employment under the plan is the adjusted pensionable salary computed under sections 53.7 or 53.8 and 53.9, multiplied by the credited service established under the first paragraph of section 33.1 and divided by the service established in accordance with sections 31 and 32.